مشبکه دستگاه استنتاجی از یک bl-جبر
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده ریاضی
- نویسنده نوشین داودی
- استاد راهنما حبیب حریزاوی منیره پیمان
- سال انتشار 1391
چکیده
مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ? ?? = ?? یا ?? ? ??. به علاوه خاصیت ابرارشمیدسی bl-جبرها بیان می شود.
منابع مشابه
رادیکال مشبکه های مانده و bl ـ جبرها
در این پایان نامه به معرفی عناصر چگال و رادیکال مشبکه مانده و مرکز بولی مشبکه مانده و مشبکه مانده ساده، موضعی ، نیم موضعی و شبه موضعی می پردازیم و با استفاده از قضایا رابطه بین آنها را بررسی می کنیم. فیلترهای اولیه و شبه اولیه را در مشبکه مانده تعریف می کنیم و ثابت می کنیم هر فیلتر اولیه از مشبکه مانده شبه اولیه است. از طرفی رادیکال روی یک bl ـ جبر و رادیکال روی یک فیلتر در bl ـ جبر را معرفی کر...
15 صفحه اولرویکردهایی به مساله تعداد توپولوژی ها روی یک مجموعه متناهی از منظر مشبکه
متن حاضر بخشی از یک تحقیق موضوعی پیرامون مساله شمارش توپولوژی ها روی یک مجموعه متناهی است که شامل: ویژگی های مشبکه توپولوژی ها، خواص توپولوژی های AT (اصلی)، معادل بودن این مساله با شمارش پیش ترتیب ها روی n نقطه، نحوه ارتباط مفاهیم توپولوژیکی روی یک مجموعه متناهی و نتایج به دست آمده برای n نابیشتر از 16 می باشد. متن از لحاظ مفاهیم توپولوژیکی خودکفا است.
متن کاملBL-Functions and Free BL-Algebra
Fuzzy logics are designed to support logical inferences on vague or uncertain premises, and they are useful in several theoretical and applicative areas of computer science. A central paradigm in mathematical fuzzy logic, popularized by Hájek [Háj98], is based on the idea of weakening Boolean logic starting from a suitable generalization of Boolean conjunction, namely, a class of [0, 1]-valued ...
متن کاملمروری بر رمزنگاری مشبکه - مبنا
هدف این مقاله، مطالعه مبانی ریاضی نظریه مشبکه‌ها و کاربردهای آن در سامانه‌های رمز است. نظریه مشبکه‌ها نقش مهمی در طراحی و پیادهسازی سامانه‌های رمز جدید و تحلیل رمز دارند. امنیت اکثر سامانه‌های رمزنگاری کلید عمومی مشبکه - مبنا برپایه مسائل سخت محاسباتی یافتن کوتاه‌ترین بردار و یافتن نزدیک‌ترین بردار در مشبکه است. در این مقاله، مقدمهای بر نظریه مشبکه‌ها و مسائل سخت آنها بیان می‌شود؛ سپس مهم‌تر...
متن کاملمشبکه ی دستگاه های قیاسی جبرهایbl
در این پایان نامه ابتدا جبر bl را تعریف کرده و خواصی از آن را بیان می کنیم. سپس دستگاه های قیاسی جبرهای bl را مورد بررسی قرار داده و به بیان قضایایی از آن می پردازیم. بررسی ساختار دستگاه های قیاسی تماماً رسند تحویل ناپذیر جبرهای bl نیز از اهداف این پایان نامه است. در انتها به ساختارهای جبرهای bl ارشمیدسی و ابرارشمیدسی پرداخته می شود.
15 صفحه اولمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023